Optimal. Leaf size=301 \[ -\frac {\sqrt {\frac {1}{2} \left (5+\sqrt {5}\right )} \tan ^{-1}\left (\frac {\left (1-\sqrt {5}\right ) \sqrt [5]{a}-4 \sqrt [5]{b} x}{\sqrt {2 \left (5+\sqrt {5}\right )} \sqrt [5]{a}}\right )}{5 a^{4/5} \sqrt [5]{b}}-\frac {\sqrt {\frac {1}{2} \left (5-\sqrt {5}\right )} \tan ^{-1}\left (\frac {\left (1+\sqrt {5}\right ) \sqrt [5]{a}-4 \sqrt [5]{b} x}{\sqrt {2 \left (5-\sqrt {5}\right )} \sqrt [5]{a}}\right )}{5 a^{4/5} \sqrt [5]{b}}+\frac {\log \left (\sqrt [5]{a}+\sqrt [5]{b} x\right )}{5 a^{4/5} \sqrt [5]{b}}-\frac {\left (1-\sqrt {5}\right ) \log \left (2 a^{2/5}-\left (1-\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+2 b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}}-\frac {\left (1+\sqrt {5}\right ) \log \left (2 a^{2/5}-\left (1+\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+2 b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.49, antiderivative size = 305, normalized size of antiderivative = 1.01, number of steps
used = 6, number of rules used = 6, integrand size = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.667, Rules used = {207, 648, 632,
210, 642, 31} \begin {gather*} \frac {\sqrt {\frac {1}{2} \left (5+\sqrt {5}\right )} \text {ArcTan}\left (\frac {2 \sqrt {\frac {2}{5+\sqrt {5}}} \sqrt [5]{b} x}{\sqrt [5]{a}}+\sqrt {\frac {1}{5} \left (5-2 \sqrt {5}\right )}\right )}{5 a^{4/5} \sqrt [5]{b}}-\frac {\sqrt {\frac {1}{2} \left (5-\sqrt {5}\right )} \text {ArcTan}\left (\sqrt {\frac {1}{5} \left (5+2 \sqrt {5}\right )}-\frac {\sqrt {\frac {2}{5} \left (5+\sqrt {5}\right )} \sqrt [5]{b} x}{\sqrt [5]{a}}\right )}{5 a^{4/5} \sqrt [5]{b}}-\frac {\left (1-\sqrt {5}\right ) \log \left (a^{2/5}-\frac {1}{2} \left (1-\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}}-\frac {\left (1+\sqrt {5}\right ) \log \left (a^{2/5}-\frac {1}{2} \left (1+\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}}+\frac {\log \left (\sqrt [5]{a}+\sqrt [5]{b} x\right )}{5 a^{4/5} \sqrt [5]{b}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 207
Rule 210
Rule 632
Rule 642
Rule 648
Rubi steps
\begin {align*} \int \frac {1}{a+b x^5} \, dx &=\frac {2 \int \frac {\sqrt [5]{a}-\frac {1}{4} \left (1-\sqrt {5}\right ) \sqrt [5]{b} x}{a^{2/5}-\frac {1}{2} \left (1-\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2} \, dx}{5 a^{4/5}}+\frac {2 \int \frac {\sqrt [5]{a}-\frac {1}{4} \left (1+\sqrt {5}\right ) \sqrt [5]{b} x}{a^{2/5}-\frac {1}{2} \left (1+\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2} \, dx}{5 a^{4/5}}+\frac {\int \frac {1}{\sqrt [5]{a}+\sqrt [5]{b} x} \, dx}{5 a^{4/5}}\\ &=\frac {\log \left (\sqrt [5]{a}+\sqrt [5]{b} x\right )}{5 a^{4/5} \sqrt [5]{b}}+\frac {\left (5-\sqrt {5}\right ) \int \frac {1}{a^{2/5}-\frac {1}{2} \left (1+\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2} \, dx}{20 a^{3/5}}+\frac {\left (5+\sqrt {5}\right ) \int \frac {1}{a^{2/5}-\frac {1}{2} \left (1-\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2} \, dx}{20 a^{3/5}}-\frac {\left (1-\sqrt {5}\right ) \int \frac {-\frac {1}{2} \left (1-\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b}+2 b^{2/5} x}{a^{2/5}-\frac {1}{2} \left (1-\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2} \, dx}{20 a^{4/5} \sqrt [5]{b}}-\frac {\left (1+\sqrt {5}\right ) \int \frac {-\frac {1}{2} \left (1+\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b}+2 b^{2/5} x}{a^{2/5}-\frac {1}{2} \left (1+\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2} \, dx}{20 a^{4/5} \sqrt [5]{b}}\\ &=\frac {\log \left (\sqrt [5]{a}+\sqrt [5]{b} x\right )}{5 a^{4/5} \sqrt [5]{b}}-\frac {\left (1+\sqrt {5}\right ) \log \left (2 a^{2/5}-\sqrt [5]{a} \sqrt [5]{b} x-\sqrt {5} \sqrt [5]{a} \sqrt [5]{b} x+2 b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}}-\frac {\left (1-\sqrt {5}\right ) \log \left (2 a^{2/5}-\sqrt [5]{a} \sqrt [5]{b} x+\sqrt {5} \sqrt [5]{a} \sqrt [5]{b} x+2 b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}}-\frac {\left (5-\sqrt {5}\right ) \text {Subst}\left (\int \frac {1}{-\frac {1}{2} \left (5-\sqrt {5}\right ) a^{2/5} b^{2/5}-x^2} \, dx,x,-\frac {1}{2} \left (1+\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b}+2 b^{2/5} x\right )}{10 a^{3/5}}-\frac {\left (5+\sqrt {5}\right ) \text {Subst}\left (\int \frac {1}{-\frac {1}{2} \left (5+\sqrt {5}\right ) a^{2/5} b^{2/5}-x^2} \, dx,x,-\frac {1}{2} \left (1-\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b}+2 b^{2/5} x\right )}{10 a^{3/5}}\\ &=-\frac {\sqrt {\frac {1}{2} \left (5-\sqrt {5}\right )} \tan ^{-1}\left (\frac {\sqrt {5+\sqrt {5}} \left (\left (1+\sqrt {5}\right ) \sqrt [5]{a}-4 \sqrt [5]{b} x\right )}{2 \sqrt {10} \sqrt [5]{a}}\right )}{5 a^{4/5} \sqrt [5]{b}}+\frac {\sqrt {\frac {1}{2} \left (5+\sqrt {5}\right )} \tan ^{-1}\left (\sqrt {\frac {1}{5} \left (5-2 \sqrt {5}\right )}+\frac {2 \sqrt {\frac {2}{5+\sqrt {5}}} \sqrt [5]{b} x}{\sqrt [5]{a}}\right )}{5 a^{4/5} \sqrt [5]{b}}+\frac {\log \left (\sqrt [5]{a}+\sqrt [5]{b} x\right )}{5 a^{4/5} \sqrt [5]{b}}-\frac {\left (1+\sqrt {5}\right ) \log \left (2 a^{2/5}-\sqrt [5]{a} \sqrt [5]{b} x-\sqrt {5} \sqrt [5]{a} \sqrt [5]{b} x+2 b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}}-\frac {\left (1-\sqrt {5}\right ) \log \left (2 a^{2/5}-\sqrt [5]{a} \sqrt [5]{b} x+\sqrt {5} \sqrt [5]{a} \sqrt [5]{b} x+2 b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.12, size = 311, normalized size = 1.03 \begin {gather*} \frac {2 \sqrt {\frac {5}{8}+\frac {\sqrt {5}}{8}} \tan ^{-1}\left (\frac {-\frac {1}{4} \left (1-\sqrt {5}\right ) \sqrt [5]{a}+\sqrt [5]{b} x}{\sqrt {\frac {5}{8}+\frac {\sqrt {5}}{8}} \sqrt [5]{a}}\right )}{5 a^{4/5} \sqrt [5]{b}}+\frac {2 \sqrt {\frac {5}{8}-\frac {\sqrt {5}}{8}} \tan ^{-1}\left (\frac {-\frac {1}{4} \left (1+\sqrt {5}\right ) \sqrt [5]{a}+\sqrt [5]{b} x}{\sqrt {\frac {5}{8}-\frac {\sqrt {5}}{8}} \sqrt [5]{a}}\right )}{5 a^{4/5} \sqrt [5]{b}}+\frac {\log \left (\sqrt [5]{a}+\sqrt [5]{b} x\right )}{5 a^{4/5} \sqrt [5]{b}}-\frac {\left (1-\sqrt {5}\right ) \log \left (a^{2/5}-\frac {1}{2} \left (1-\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}}-\frac {\left (1+\sqrt {5}\right ) \log \left (a^{2/5}-\frac {1}{2} \left (1+\sqrt {5}\right ) \sqrt [5]{a} \sqrt [5]{b} x+b^{2/5} x^2\right )}{20 a^{4/5} \sqrt [5]{b}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(894\) vs.
\(2(203)=406\).
time = 0.17, size = 895, normalized size = 2.97
method | result | size |
risch | \(\frac {\munderset {\textit {\_R} =\RootOf \left (b \,\textit {\_Z}^{5}+a \right )}{\sum }\frac {\ln \left (x -\textit {\_R} \right )}{\textit {\_R}^{4}}}{5 b}\) | \(27\) |
default | \(\text {Expression too large to display}\) | \(895\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.51, size = 239, normalized size = 0.79 \begin {gather*} \frac {\sqrt {5} {\left (\sqrt {5} + 1\right )} \arctan \left (\frac {4 \, b^{\frac {2}{5}} x + a^{\frac {1}{5}} b^{\frac {1}{5}} {\left (\sqrt {5} - 1\right )}}{a^{\frac {1}{5}} b^{\frac {1}{5}} \sqrt {2 \, \sqrt {5} + 10}}\right )}{5 \, a^{\frac {4}{5}} b^{\frac {1}{5}} \sqrt {2 \, \sqrt {5} + 10}} + \frac {\sqrt {5} {\left (\sqrt {5} - 1\right )} \arctan \left (\frac {4 \, b^{\frac {2}{5}} x - a^{\frac {1}{5}} b^{\frac {1}{5}} {\left (\sqrt {5} + 1\right )}}{a^{\frac {1}{5}} b^{\frac {1}{5}} \sqrt {-2 \, \sqrt {5} + 10}}\right )}{5 \, a^{\frac {4}{5}} b^{\frac {1}{5}} \sqrt {-2 \, \sqrt {5} + 10}} - \frac {{\left (\sqrt {5} + 3\right )} \log \left (2 \, b^{\frac {2}{5}} x^{2} - a^{\frac {1}{5}} b^{\frac {1}{5}} x {\left (\sqrt {5} + 1\right )} + 2 \, a^{\frac {2}{5}}\right )}{10 \, a^{\frac {4}{5}} b^{\frac {1}{5}} {\left (\sqrt {5} + 1\right )}} - \frac {{\left (\sqrt {5} - 3\right )} \log \left (2 \, b^{\frac {2}{5}} x^{2} + a^{\frac {1}{5}} b^{\frac {1}{5}} x {\left (\sqrt {5} - 1\right )} + 2 \, a^{\frac {2}{5}}\right )}{10 \, a^{\frac {4}{5}} b^{\frac {1}{5}} {\left (\sqrt {5} - 1\right )}} + \frac {\log \left (b^{\frac {1}{5}} x + a^{\frac {1}{5}}\right )}{5 \, a^{\frac {4}{5}} b^{\frac {1}{5}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] Result contains complex when optimal does not.
time = 9.48, size = 1130235, normalized size = 3754.93 \begin {gather*} \text {too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.06, size = 20, normalized size = 0.07 \begin {gather*} \operatorname {RootSum} {\left (3125 t^{5} a^{4} b - 1, \left ( t \mapsto t \log {\left (5 t a + x \right )} \right )\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.62, size = 275, normalized size = 0.91 \begin {gather*} -\frac {\left (-\frac {a}{b}\right )^{\frac {1}{5}} \log \left ({\left | x - \left (-\frac {a}{b}\right )^{\frac {1}{5}} \right |}\right )}{5 \, a} + \frac {\left (-a b^{4}\right )^{\frac {1}{5}} \sqrt {2 \, \sqrt {5} + 10} \arctan \left (-\frac {{\left (\sqrt {5} - 1\right )} \left (-\frac {a}{b}\right )^{\frac {1}{5}} - 4 \, x}{\sqrt {2 \, \sqrt {5} + 10} \left (-\frac {a}{b}\right )^{\frac {1}{5}}}\right )}{10 \, a b} + \frac {\left (-a b^{4}\right )^{\frac {1}{5}} \sqrt {-2 \, \sqrt {5} + 10} \arctan \left (\frac {{\left (\sqrt {5} + 1\right )} \left (-\frac {a}{b}\right )^{\frac {1}{5}} + 4 \, x}{\sqrt {-2 \, \sqrt {5} + 10} \left (-\frac {a}{b}\right )^{\frac {1}{5}}}\right )}{10 \, a b} + \frac {\left (-a b^{4}\right )^{\frac {1}{5}} \log \left (x^{2} + \frac {1}{2} \, x {\left (\sqrt {5} \left (-\frac {a}{b}\right )^{\frac {1}{5}} + \left (-\frac {a}{b}\right )^{\frac {1}{5}}\right )} + \left (-\frac {a}{b}\right )^{\frac {2}{5}}\right )}{5 \, a b {\left (\sqrt {5} - 1\right )}} - \frac {\left (-a b^{4}\right )^{\frac {1}{5}} \log \left (x^{2} - \frac {1}{2} \, x {\left (\sqrt {5} \left (-\frac {a}{b}\right )^{\frac {1}{5}} - \left (-\frac {a}{b}\right )^{\frac {1}{5}}\right )} + \left (-\frac {a}{b}\right )^{\frac {2}{5}}\right )}{5 \, a b {\left (\sqrt {5} + 1\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.53, size = 235, normalized size = 0.78 \begin {gather*} \frac {\ln \left (b^{1/5}\,x+a^{1/5}\right )}{5\,a^{4/5}\,b^{1/5}}-\frac {\ln \left (5\,b^4\,x-\frac {5\,a^{1/5}\,b^{19/5}\,\left (\sqrt {5}-\sqrt {2\,\sqrt {5}-10}+1\right )}{4}\right )\,\left (\sqrt {5}-\sqrt {2\,\sqrt {5}-10}+1\right )}{20\,a^{4/5}\,b^{1/5}}-\frac {\ln \left (5\,b^4\,x-\frac {5\,a^{1/5}\,b^{19/5}\,\left (\sqrt {-2\,\sqrt {5}-10}-\sqrt {5}+1\right )}{4}\right )\,\left (\sqrt {-2\,\sqrt {5}-10}-\sqrt {5}+1\right )}{20\,a^{4/5}\,b^{1/5}}+\frac {\ln \left (5\,b^4\,x+\frac {5\,a^{1/5}\,b^{19/5}\,\left (\sqrt {5}+\sqrt {-2\,\sqrt {5}-10}-1\right )}{4}\right )\,\left (\sqrt {5}+\sqrt {-2\,\sqrt {5}-10}-1\right )}{20\,a^{4/5}\,b^{1/5}}-\frac {\ln \left (5\,b^4\,x-\frac {5\,a^{1/5}\,b^{19/5}\,\left (\sqrt {5}+\sqrt {2\,\sqrt {5}-10}+1\right )}{4}\right )\,\left (\sqrt {5}+\sqrt {2\,\sqrt {5}-10}+1\right )}{20\,a^{4/5}\,b^{1/5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________